USING MATLAB SIMULINK STATEFLOW TOOLS TO CREATE AN AUTONOMOUS INTELLIGENT AGENT MODEL
نویسندگان
چکیده
منابع مشابه
Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models
In this paper we report on work in progress to extend the QuantUM approach to support the quantitative property analysis of Matlab Simulink / Stateflow models. We propose a translation of Simulink / Stateflow models to CTMCs which can be analyzed using the PRISM model checker inside the QuantUM tool. We also illustrate how the information needed to perform probabilistic analysis of dependabilit...
متن کاملImproving Timing Analysis for Matlab Simulink/Stateflow
Control software in embedded hard real-time systems is subject to stringent timing constraints. To compute the required safe upper bounds on its worst-case execution-time (WCET), static timing analysis is used in industry [1]. Today control software is predominantly developed with model-based design tools such as Matlab Simulink/Stateflow. However, current timing tools lose precision as they co...
متن کاملDynamic Reliability by Using Simulink and Stateflow
The safety of high criticity industrial systems relies heavily on relatively complex programmed systems. Due to the complexity of the interactions between physical processes and their control, classical methodologies such as eventrees/fault-trees or Petri nets may not represent adequately the dynamic interactions existing between the physical processes (modeled by continuous variables) and the ...
متن کاملBayesian statistical model checking with application to Stateflow/Simulink verification
We address the problem of model checking stochastic systems, i.e., checking whether a stochastic system satisfies a certain temporal property with a probability greater (or smaller) than a fixed threshold. In particular, we present a Statistical Model Checking (SMC) approach based on Bayesian statistics. We show that our approach is feasible for a certain class of hybrid systems with stochastic...
متن کاملSemantic Translation of Simulink/Stateflow models to
Research in the field of hybrid systems has produced a number of verification tools. Formal verification of systems is performed using such tools. In practice prototyping and simulation tools such as Matlab’s Simulink and Stateflow (MSS) are prevalent. The paper formally describes a translation process that can convert a well-defined subset of MSS into a standard form of hybrid automata. This t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Современные наукоемкие технологии (Modern High Technologies)
سال: 2021
ISSN: 1812-7320
DOI: 10.17513/snt.38658